1. Calculus
پدیدآورنده : / Kenneth McAloon, Anthony Tromba, with the assistance of Jerrold Marsden ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Calculus
رده :
515
Ma-C
2. Calculus of one variable
پدیدآورنده : / Kenneth McAloon, Anthony Tromba, with the assistance of Jerrold Marsdern ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Calculus
رده :
515
Ma-Ca
3. Logic Colloquium, 1978
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and Mathematical. ;
4. Logic Colloquium, 1978
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
5. Model theory and arithatic: Comptes Rendus d'une action Thematique, Programmee de C.N. R. S. sur la theorie des Modeles et arithmetique, Paris, France, 1979.80
پدیدآورنده : edited by C.Berline, K. McAloon, and J.-P. Ressayre
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory - Congresses,Congresses ، Mathematics
رده :
QA
3
.
L28
no
.
890
6. Model theory and arithmetic : compter rendus d'une action thematique programmee du C.N.R.S sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80
پدیدآورنده : edited by C. Berline, K. McAloon, and J. P. Ressayre
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
3
.
L28
Vol
.
890
7. Model theory and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des mod،les et l'arithmetique, Paris, France, 1979/80
پدیدآورنده : edited by C. Berline, K. McAloon, and J.-P. Ressayre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
1
.
L4
v
.
890
8. Modeles de l'arithmetique : seminaire Paris VII
پدیدآورنده : edite Par K. Mc Aloon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Arithmetic,، Peano, Giuseppe, 8581-2391
رده :
QA
3
.
A78
Vol
.
73
9. Optimization and computational logic
پدیدآورنده : McAloon, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
10. Optimization and computational logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
